document.write ("1287")