document.write(':1232')