document.write (" 12506 ");