document.write (" 5253 ");