<html>We configured the 64 bit system in the same way that we configured the 32 bit system, as described in the Windows documentation.</html>