document.write (" 4048 ");