document.write (" 6008 ");