document.write('672008');