Intel Xeon 64 Bit

[John Nietzsche]

Dear gentleman,

i am planning to install openbsd on a 64 bit intel dual core server.
But, i believe that openbsd plataform i386 runs only on 32 bit mode.
Which plataform should i choose from http://www.openbsd.org/plat.html
?

Thanks in advance.