document.write (" 12850 ");