document.write ("7271 ");