function changehochformat(widthhochformat)
{
var myurl=document.URL;
var htmlcodehochformat;
var breitehochformat=widthhochformat;
var hoehehochformat=breitehochformat*1.1501;
hoehehochformat=parseInt(hoehehochformat);
breitehochformat=parseInt(breitehochformat);
document.writeln('');
}
function changequerformat(heightquerformat)
{
var myurl=document.URL;
var htmlcodequerformat;
var hoehequerformat=heightquerformat;
var breitequerformat=hoehequerformat*5.7142857142857142857142857142857;
breitequerformat=parseInt(breitequerformat);
hoehequerformat=parseInt(hoehequerformat);
document.writeln('');
}