document.write (" 4672 ");