document.write (" 12271 ");