document.write (" 12657 ");