document.write (" 12227 ");