document.write (" 6249 ");