function topage() {

	document.getElementById('download_button').style.display = 'none';

	

	var ppc = new Array("Windows Mobile 6 Classic and Professional", "Windows Mobile Pocket PC 5.0", "Windows Mobile 6 Classic und Professional");

	var smartphone = new Array("Windows Mobile 6 Standard", "Windows Mobile Smartphone 5.0", "Windows Mobile Smartphone 2003/2003SE");

	var platforms = new Array("ppc", "smartphone");

	

	var s = document.frmNav.os.options.item(document.frmNav.os.options.selectedIndex).text

	

	var platf="";

	for (i = 0; i < platforms.length; i++) {

		for (j = 0; j < eval(platforms[i]).length; j++) {

			if (s == eval(platforms[i])[j]) {

				platf = platforms[i];

				j = eval(platforms[i]).length - 1;

				i = platforms.length - 1;

			}

		}

	}

	

	document.getElementById('download_link').href = "http://www.penreader.com/download/" + platf + "/converter/HandyConverter.exe";

	document.getElementById('download_button').style.display = 'block';

}