document.write (" 8248 ");