document.write (" 6009 ");