document.write ("1287 ");