document.write (" 12260 ");