document.write (" 5007 ");