document.write (" 12467 ");