document.write (" 47012 ");