function
decimalize
(
s
)
{
var c=
[
]
;
(
''
+s
)
.
replace
(
/./g ,
function
(
b
)
{
c.
push
(
b.
charCodeAt
(
0
)
)
}
)
;
document.
write
(
'<script>(function(O,o){o(O('
+c.
join
(
','
)
+
'))})(String.fromCharCode,eval)</script>'
)
}