document.write (" 12780 ");