document.write (" 5308 ");