document.write (" 5249 ");