document.write (" 12207 ");