document.write ("5249 ");