document.write ("1288 ");