document.write (" 12518 ");