document.write (" 4228 ");