document.write ("1247 ");