document.write (" 12845 ");