document.write(':1032')