document.write (" 12270 ");