document.write (" 10271 ");