document.write ("1240 ");