document.write(' [707/532]');