document.write (" 25640 ");