document.write (" 12639 ");