document.write ("5678");