document.write (" 12770 ");