document.write (" 4248 ");