document.write (" 12685 ");