document.write (" 72345 ");